1. From sets and types to topology and analysis
Author: edited by Laura Crossila and Peter Schuster
Library: Vali Asr University Central Library (Kerman)
Subject: Constructive mathematics- Congresses,Constructieve wiskunde.- gtt,Analyse )wiskunde(- gtt,Topologie.- gtt
Classification :
QA
9
.
56
.
F76
2005
